Modelling Browsing Semantics in Hypertexts Using UML
نویسندگان
چکیده
Navigation is one of the basic characteristics of a hypertext. This feature enables browsing through different paths within the hypertext document. On the other hand a problem of being lost in hyperspace can arise. One solution to this problem is improving a hypertext structure. This can be achieved by creating a model of hypertext dynamic behaviour. This paper presents our approach to modelling navigational structure of hypertext using the Unified Modelling Language (UML). Our goal is to define a unified framework for modelling hypertext browsing semantics. We specify semantics for diagrams capable of interaction and navigation modelling. An example of a university course specification is given to illustrate the use of the proposed extensions to UML techniques.
منابع مشابه
An Execution Algorithm for UML Activity Graphs
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define how components of a workflow system execute an activity graph. The semantics stays close to the semantics of UML state machines, but differs from it in some minor points. Our semantics deals with real time. The semantic...
متن کاملA Meta-Model Semantics for Structural Constraints In UML
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A meta-modelling approach is taken essentially to aid the construction of automated tools, but the semantics is defined by statements in English. A meta-model that incorporates precise semantics would support the construction of tools that could perform semantically-oriented tasks, such as consistency...
متن کاملMeta-Modelling Semantics of UML
--------OO modelling notations such as the UML embody high-quality modelling experiences, but the lack of precise semantics for the notations prohibits rigorous analysis of the models. In this paper we examine how the existing semantics of UML can be strengthened to support the development of rigorous analysis and proof techniques. Our
متن کاملAn Action Semantics for MML
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) a precise meta-modelling language designed for developing families of UML languages. Actions are defined as computational procedures with side-effects. The action semantics are described in the MML style, with model, instance and semantic packages. Different actions are described as specializations of th...
متن کاملFormalising the UML in Structured Temporal Theories
In this paper we describe a possible semantics for a large part of the Uniied Modelling Notation (UML), using structured theories in a simple temporal logic. This semantic representation is suitable for modular reasoning about UML models. We show how it can be used to clarify certain ambiguous cases of UML semantics, and how to justify enhancement or reenement transformations on UML models.
متن کامل